1. <A> Roadmap for Formal Property Verification

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Integrated circuits -- Verification,مدار‌های مجتمع -- راستی‌آزمایی

رده :
E-Book
,

2. A roadmap for formal property verification

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Integrated circuits ; Verification. ;

3. Abstraction refinement for large scale model checking

پدیدآورنده :

کتابخانه: (سمنان)

موضوع : Verification Mathematical models ، Computer systems,Verification Mathematical models ، Integrated circuits,Verification Mathematical models ، Electronic systems

رده :
QA
76
.
76
.
V47W36
2006

4. Advanced verification techniques

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Integrated circuits , Verification,Electronic books. , local

رده :
E-BOOK

5. Assertion-Based Design

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Integrated circuits -- Very large scale integration -- Design and construction,Integrated circuits -- Verification,Verilog (Computer hardware description language),مدارهای مجتمع -- مجتمع‌سازی در مقیاس بسیار بزرگ -- طرح و ساختمان,مدار‌های مجتمع -- راستی‌آزمایی,وریلاگ (زبان توصیفی سخت‌افزار کامپیوتر)

رده :
E-Book
,

6. Assertion-based design

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Integrated circuits- Very large scale integration- Design and construction,Integrated circuits- Verification,Verilog (Computer hardware description language)

رده :
E-BOOK

7. Assertion-based design

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)

موضوع : Integrated circuits- Very large scale integration- Design and construction,Integrated circuits- Verification,Verilog (Computer hardware description language)

رده :
TK7874
.
75
F68
2004

8. Authentication of embedded devices :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Integrated circuits ; Verification. ;

9. Co-verification of hardware and software for ARM SoC design

پدیدآورنده :

کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)

موضوع : ، Integrated circuits- Verification,، Computer software- Verification,، Systems on a chip

رده :
TK
7874
.
A595
2005

10. Co-verification of hardware and software for ARM SoC design

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Integrated circuits- Verification,Computer software- Verification,Systems on a chip

رده :
E-BOOK

11. Co-verification of hardware and software for ARM SoC design

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)

موضوع : Integrated circuits- Verification,Computer software- Verification,Systems on a chip

رده :
TK7874
.
A595
2005

12. Comprehensive Functional Verification the Complete Industry Cycle

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Integrated circuits -- Verification.,Computer engineering.,مدار‌های مجتمع -- راستی‌آزمایی ,مهندسی کامپیوتر

رده :
E-Book
,

13. Comprehensive Functional verification the complete industry cycle

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)

موضوع : Integrated circuits -- Verification,Computer engineering

رده :
TK
،
7874
.
58
،.
W55
،
2005

14. Comprehensive functional verification the complete industry cycle

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Integrated circuits ; Verification. ; Computer engineering. ;

15. Comprehensive functional verification the complete industry cycle /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer engineering.,Integrated circuits-- Verification.,Computer engineering.,COMPUTERS-- Logic Design.,Integrated circuits-- Verification.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Logic.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- VLSI & ULSI.

رده :
TK7874
.
58
.
W55
2005eb

16. Computer-Hardware Evaluation of Mathematical Functions

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Computer arithmetic.,Computer arithmetic and logic units.,Computer algorithms.,Integrated circuits-- Verification.,محاسبات رایانه ,م‍دارات‌ م‍ج‍ت‍م‍ع -- ‌ راستی آزمایی

رده :
QA
76
.
9
.
O4C6
2015
E-Book
,

17. Computer aided verification : fourth international workshop, CAV 92, Montreal, Canada, June 29-July 1, 1992 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Computer software Verification -- Congresses, Integrated circuits Verification -- Congresses, Electronic digital computers Evaluation -- Congresses

رده :
QA
76
.
76
.
V47
C38
1993

18. Computer aided verification : international conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,Evaluation -- Congresses ، Electronic digital computers

رده :
QA
76
.
L28
Vol
.
2725

19. Computer-aided verification: proceedings 2nd International conference, CAV'90

کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)

موضوع : Congresses ، Digital integrated circuits-- Computer-aided design,Congresses ، Integrated circuits-- Verification

رده :
TK
7874
.
D553
1990a

20. Computer aided verification : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,Evaluation -- Congresses ، Electronic digital computers

رده :
QA
76
.
L28
Vol
.
3114